The use of oral antibiotics and mechanical bowel preparation in elective colorectal resection for the reduction of surgical site infection.

Surgical site infection (SSI) is a major cause of morbidity following elective colorectal resection worldwide. Reduction in SSI rates can be achieved with the use of SSI reduction bundles. Debate about the role of mechanical bowel preparation and oral antibiotics (MOAB) in reducing SSI has persisted over decades with considerable variation in international practice. This article summarises the arguments for and against the routine use of MOAB in the elective setting, highlighting the areas of controversy and evidence gaps and provides pragmatic suggestions for colorectal practice.This topical debate paper was commissioned by the President and Executive of the Association of Coloproctology of Great Britain and Ireland. ACPGBI also funded the open access publication fee. The authors would like to thank Ms J Pipe for her comments from the patient perspective and Miss N Fearnhead for her support in developing this debate article

A Corroborative Approach to Verification and Validation of Human--Robot Teams

We present an approach for the verification and validation (V&V) of robot assistants in the context of human-robot interactions (HRI), to demonstrate their trustworthiness through corroborative evidence of their safety and functional correctness. Key challenges include the complex and unpredictable nature of the real world in which assistant and service robots operate, the limitations on available V&V techniques when used individually, and the consequent lack of confidence in the V&V results. Our approach, called corroborative V&V, addresses these challenges by combining several different V&V techniques; in this paper we use formal verification (model checking), simulation-based testing, and user validation in experiments with a real robot. We demonstrate our corroborative V&V approach through a handover task, the most critical part of a complex cooperative manufacturing scenario, for which we propose some safety and liveness requirements to verify and validate. We construct formal models, simulations and an experimental test rig for the HRI. To capture requirements we use temporal logic properties, assertion checkers and textual descriptions. This combination of approaches allows V&V of the HRI task at different levels of modelling detail and thoroughness of exploration, thus overcoming the individual limitations of each technique. Should the resulting V&V evidence present discrepancies, an iterative process between the different V&V techniques takes place until corroboration between the V&V techniques is gained from refining and improving the assets (i.e., system and requirement models) to represent the HRI task in a more truthful manner. Therefore, corroborative V&V affords a systematic approach to 'meta-V&V,' in which different V&V techniques can be used to corroborate and check one another, increasing the level of certainty in the results of V&V

Microdevices for extensional rheometry of low viscosity elastic liquids : a review

Extensional flows and the underlying stability/instability mechanisms are of extreme relevance to the efficient operation of inkjet printing, coating processes and drug delivery systems, as well as for the generation of micro droplets. The development of an extensional rheometer to characterize the extensional properties of low viscosity fluids has therefore stimulated great interest of researchers, particularly in the last decade. Microfluidics has proven to be an extraordinary working platform and different configurations of potential extensional microrheometers have been proposed. In this review, we present an overview of several successful designs, together with a critical assessment of their capabilities and limitations

Building safer robots: Safety driven control

In recent years there has been a concerted effort to address many of the safety issues associated with physical human-robot interaction (pHRI). However, a number of challenges remain. For personal robots, and those intended to operate in unstructured environments, the problem of safety is compounded. In this paper we argue that traditional system design techniques fail to capture the complexities associated with dynamic environments. We present an overview of our safety-driven control system and its implementation methodology. The methodology builds on traditional functional hazard analysis, with the addition of processes aimed at improving the safety of autonomous personal robots. This will be achieved with the use of a safety system developed during the hazard analysis stage. This safety system, called the safety protection system, will initially be used to verify that safety constraints, identified during hazard analysis, have been implemented appropriately. Subsequently it will serve as a high-level safety enforcer, by governing the actions of the robot and preventing the control layer from performing unsafe operations. To demonstrate the effectiveness of the design, a series of experiments have been conducted using a MobileRobots PeopleBot. Finally, results are presented demonstrating how faults injected into a controller can be consistently identified and handled by the safety protection system. © The Author(s) 2012

A Cognitive Architecture Based on a Learning Classifier System with Spiking Classifiers

© 2015, Springer Science+Business Media New York. Learning classifier systems (LCS) are population-based reinforcement learners that were originally designed to model various cognitive phenomena. This paper presents an explicitly cognitive LCS by using spiking neural networks as classifiers, providing each classifier with a measure of temporal dynamism. We employ a constructivist model of growth of both neurons and synaptic connections, which permits a genetic algorithm to automatically evolve sufficiently-complex neural structures. The spiking classifiers are coupled with a temporally-sensitive reinforcement learning algorithm, which allows the system to perform temporal state decomposition by appropriately rewarding “macro-actions”, created by chaining together multiple atomic actions. The combination of temporal reinforcement learning and neural information processing is shown to outperform benchmark neural classifier systems, and successfully solve a robotic navigation task

Ultrahigh-Field MRI in Human Ischemic Stroke – a 7 Tesla Study

INTRODUCTION: Magnetic resonance imaging (MRI) using field strengths up to 3 Tesla (T) has proven to be a powerful tool for stroke diagnosis. Recently, ultrahigh-field (UHF) MRI at 7 T has shown relevant diagnostic benefits in imaging of neurological diseases, but its value for stroke imaging has not been investigated yet. We present the first evaluation of a clinically feasible stroke imaging protocol at 7 T. For comparison an established stroke imaging protocol was applied at 3 T. METHODS: In a prospective imaging study seven patients with subacute and chronic stroke were included. Imaging at 3 T was immediately followed by 7 T imaging. Both protocols included T1-weighted 3D Magnetization-Prepared Rapid-Acquired Gradient-Echo (3D-MPRAGE), T2-weighted 2D Fluid Attenuated Inversion Recovery (2D-FLAIR), T2-weighted 2D Fluid Attenuated Inversion Recovery (2D-T2-TSE), T2* weighted 2D Fast Low Angle Shot Gradient Echo (2D-HemoFLASH) and 3D Time-of-Flight angiography (3D-TOF). RESULTS: The diagnostic information relevant for clinical stroke imaging obtained at 3 T was equally available at 7 T. Higher spatial resolution at 7 T revealed more anatomical details precisely depicting ischemic lesions and periinfarct alterations. A clear benefit in anatomical resolution was also demonstrated for vessel imaging at 7 T. RF power deposition constraints induced scan time prolongation and reduced brain coverage for 2D-FLAIR, 2D-T2-TSE and 3D-TOF at 7 T versus 3 T. CONCLUSIONS: The potential of 7 T MRI for human stroke imaging is shown. Our pilot study encourages a further evaluation of the diagnostic benefit of stroke imaging at 7 T in a larger study

ISSN exercise & sport nutrition review: research & recommendations

Sports nutrition is a constantly evolving field with hundreds of research papers published annually. For this reason, keeping up to date with the literature is often difficult. This paper is a five year update of the sports nutrition review article published as the lead paper to launch the JISSN in 2004 and presents a well-referenced overview of the current state of the science related to how to optimize training and athletic performance through nutrition. More specifically, this paper provides an overview of: 1.) The definitional category of ergogenic aids and dietary supplements; 2.) How dietary supplements are legally regulated; 3.) How to evaluate the scientific merit of nutritional supplements; 4.) General nutritional strategies to optimize performance and enhance recovery; and, 5.) An overview of our current understanding of the ergogenic value of nutrition and dietary supplementation in regards to weight gain, weight loss, and performance enhancement. Our hope is that ISSN members and individuals interested in sports nutrition find this review useful in their daily practice and consultation with their clients